Epistemic Logic for Communication Chains
نویسندگان
چکیده
The paper considers epistemic properties of linear communication chains. It describes a sound and complete logical system that, in addition to the standard axioms of S5 in a multi-modal language, contains two non-trivial axioms that capture the linear structure of communication chains.
منابع مشابه
C BCTL: A Reasoning System of Temporal Epistemic Logic with Communication Channel
This paper introduces a temporal epistemic logic that updates agent’s belief states through communications in them, based on computational tree logic (CTL). In practical environments, communication channels between agents may not be secure, and in bad cases agents might suffer blackouts. In this study, we provide protocol based on ACL of FIPA, and declare the presence of secure channels between...
متن کامل: A Reasoning System of Temporal Epistemic Logic with Communication Channel
This paper introduces a temporal epistemic logic that updates agent’s belief states through communications in them, based on computational tree logic (CTL). In practical environments, communication channels between agents may not be secure, and in bad cases agents might suffer blackouts. In this study, we provide protocol based on ACL of FIPA, and declare the presence of secure channels between...
متن کاملLogic of Information Flow on Communication Channels
In this paper, we develop an epistemic logic to specify and reason about the information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modelling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our lo...
متن کاملAnalyzing Communication with Dynamic Epistemic Logic
This paper introduces and documents DEMO, a Dynamic Epistemic Modelling tool. DEMO allows modelling epistemic updates, graphical display of update results, graphical display of action models, formula evaluation in epistemic models, translation of dynamic epistemic formulas to PDL formulas. Also, DEMO implements the reduction of dynamic epistemic logic [22, 2, 3, 1] to PDL given in [17] and pres...
متن کاملLogic of information flow on communication channels
In this paper, we develop an epistemic logic for specifying and reasoning about information flow on the underlying communication channels. By combining ideas from Dynamic Epistemic Logic (DEL) and Interpreted Systems (IS), our semantics offers a natural and neat way of modeling multi-agent communication scenarios with different assumptions about the observational power of agents. We relate our ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1310.6424 شماره
صفحات -
تاریخ انتشار 2013